一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

运载火箭推进剂复杂流动传热问题数值模拟中的模型简化方法

在运载火箭改进优化或新型运载火箭设计过程中,会遇到各种复杂的流动与传热问题。按照真实产品和物理过程直接建立的数值计算模型过于复杂,不同尺度的结构、流动与传热、长时间的飞行过程相互耦合,出现计算时间太长(数年)、收敛困难、程序调试困难等问题。针对初始条件复杂、飞行过程复杂、边界条件复杂3类具体问题,总结了3种相应的模型简化方法,分别是工程经验法、极限参数法、低维近似法,为推进剂复杂流动与传热的数值模拟提供参考。     

一种高动态低信噪比卫星导航信号捕获方法

为提升高动态低信噪比环境下卫星导航信号的捕获性能,提出了一种基于分数阶傅里叶变换(FrFT)及部分匹配滤波(PMF)的捕获方法。在该方法中,接收机首先利用PMF对接收信号做分段相干积分,随后借助快速傅里叶变换(FFT)对分段积分结果做离散快速FrFT,最后通过检测FrFT输出的峰值完成信号的捕获。由于具有多普勒频率变化率的卫星导航信号在FrFT后呈现能量聚焦特性,所提方法能够显著提高信号的长时间相干积分增益。同时对所提算法的捕获概率、平均捕获时间以及算法复杂度等性能指标进行了理论分析及计算机仿真验证。仿真表明,与传统的PMF-FFT方法相比,所提方法能够通过延长相干积分时间的方式有效提升高动态低信噪比卫星导航信号的捕获概率、降低捕获时间。     

移动机器人铣削制孔系统基准检测

结合航空大部件的数字化对接装配需求,设计了一套用于对接面铣削制孔的移动机器人加工系统,并提出具体的加工工艺流程。研究了基于激光轮廓扫描仪的大量散乱点云数据的预处理算法,提出基于栅格法和迭代拟合法的对接面特征提取算法。针对移动机器人加工系统在大场景下的高精度定位问题,提出基于扫描线法和最小二乘法原理的对接基准孔坐标找正算法。通过产品的加工实验验证,对接面铣削和制孔精度满足系统要求的各项技术指标,证明了本文提出的移动机器人铣削制孔系统的装配对接面加工方法能够精确地完成大部件数字化装配任务,对提高装配质量和效率具有重要意义。     

高速加工的发展及其关键技术

介绍了高速加工技术的特点及发展，并重点介绍了高速主轴单元、高速加工进给系统、高速切削刀具材料等关键技术。     

进气道喘振诱发因素及其可靠性分析

针对飞机进气道的典型故障-喘振的诱发因素进行全方位的分析论证，并为从事航空工程的人员提供一种对动力装置整体性能进行可靠性评估方案，篇末对世界上比较先进的进气道气动设计思想及其喘振机理进行分析，可以为飞机设计师在设计飞机过程中具体分析问题提供一定的参考。     

涡旋真空泵的密封设计

涡旋真空泵在工作过程中动、静涡盘之间间隙存在泄漏损失,它是影响涡旋真空泵工作性能的重要因素;总结了涡旋真空泵的工作原理;介绍了涡旋真空泵的密封设计与选择、间隙的确定。从材料和结构两方面阐述了密封的几种结构形式,说明了各自的工作原理,及需要注意的问题,阐明这些问题是影响泵性能指标的重要因素。     

某型飞机前起落架收放作动筒耳环螺栓断裂故障分析

从断口理化分析、故障件检查、静强度、压杆失稳、出现裂纹后的剩余强度以及特殊受载情况等方面对耳环螺栓断裂故障进行了综合分析,找出了耳环螺栓断裂的原因。     

热处理作业系统中安全性评价的AHP方法

本给出了系统安全性评价的AHP方法，叙述了该方法的基本步骤，并以沈阳某集团公司热处理弹簧厂评价的实例说明了该方法的有效性。     

AGV小车的控制系统的设计与开发

论文介绍了一种自主研发的自动导引小车(Automatic Guided Vehicle),小车采用了当前国外工业控制普遍使用的PIC控制器,同时使用低成本的红外导引装置,且各模块的通信采用了高传输速率的CAN_BUS,这样使得小车在不提高成本的情况下,速度可以行驶在很高的速率,为提高无人操作车间的效率奠定了很好的基础。论文主要阐述自动导引小车系统主要功能模块的设计思路和实现方法。